$f$ is locl{-}pre{-}preserving on $P$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$f$ is $\lambda$$e$,${\it e'}$. $e$ $\leq$loc ${\it e'}$ {-}pre{-}preserving on $P$